// of FinishTimeWorkSpace
// DFS Transpose traversal
// *************************************************************************
public class WorkSpaceTranspose extends WorkSpace {
// Strongly Connected Component Counter
int SCCCounter;
public WorkSpaceTranspose() {
SCCCounter = 0;
}
public void preVisitAction(Vertex v) {
if (v.visited != true) {
v.strongComponentNumber = SCCCounter;
}
}
public void nextRegionAction(Vertex v) {
SCCCounter++;
}
}